From 52bcf7fd46d46345c1f45457ea53ea3de81f038e Mon Sep 17 00:00:00 2001
From: Jeremy Bicha <jbicha@ubuntu.com>
Date: Sun, 30 Sep 2018 20:40:11 -0400
Subject: [PATCH] widget-factory: Add Keyboard Shortcuts menu item

Closes: https://gitlab.gnome.org/GNOME/gtk/issues/916
---
 demos/widget-factory/widget-factory.ui | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index c1e5b1e5e0..1ebb6efbde 100644
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -17,6 +17,10 @@
       </item>
     </section>
     <section>
+      <item>
+        <attribute name="label" translatable="yes">_Keyboard Shortcuts</attribute>
+        <attribute name="action">win.show-help-overlay</attribute>
+      </item>
       <item>
         <attribute name="label" translatable="yes">_About Widget Factory</attribute>
         <attribute name="action">app.about</attribute>
-- 
2.30.2